 |
Your search returned 6 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1994 Volume number : 20 Issue: 04 |
Maisie A Language For The Design Of Efficient Discrete-Event Somulations
(Article)
Subject:
Parallel Simulations
,
Distributed Simulation
,
Conservation
Author:
Rajive L.
Bagrodia
Wen-Toh
Liao
page:
225
-
238
Architecture-Directed Refinement
(Article)
Subject:
Program Development
,
Architectural Concrete
,
Concurrency
Author:
Gruia-Catalin
Roman
G.D.
Wilcox
page:
239
-
258
Using Term Rewriting To Verify Software
(Article)
Subject:
Program Verification
,
Specification
,
Theories
Author:
Sergio
Antoy
John
Gannon
page:
259
-
274
Software Development Cost Estimation Using Function Points
(Article)
Subject:
Function Approximation
,
Regression Analysis
,
Cost Estimation`
Author:
Jack E.
Matson
Bruce E.
Barrett
Joseph M.
Mellichamp
page:
275
-
287
Modular Verfication Of Data Abstractions With Shared Realizations
(Article)
Subject:
Data Abstraction
,
Program Correctness
,
Verification
Author:
George W.
Emst
Raymond J.
Hookway
William F.
Ogden
page:
288
-
307
Fixed-Priority Sensitivity Analysis For Linear Computer Time Models
(Article)
Subject:
Real-Time Scheduling
,
Rate Allocation
,
Real-Time Protocol
Author:
Steve
Vestal
page:
308
-
323
|
|
| | |
